Solving the TTC 2011 Reengineering Case with MOLA and Higher-Order Transformations
نویسندگان
چکیده
The Reengineering Case of the Transformation Tool Contest 2011 deals with automatic extraction of state machine from Java source code. The transformation task involves complex, non-local matching of model elements. This paper contains the solution of the task using model transformation language MOLA. The MOLA solution uses higher-order transformations (HOT-s) to generate a part of the required MOLA program. The described HOT approach allows creating reusable, complex model transformation libraries for generic tasks without modifying an implementation of a model transformation language. Thus model transformation users who are not the developers of the language can achieve the desired functionality more easily.
منابع مشابه
Solving the TTC 2011 Reengineering Case with Henshin
Models are a helpful means of representing different aspects of a software system more abstractly to improve comprehension. In the modeling community, the Eclipse Modeling Framework (EMF) [6] has evolved to a widely used technology. While EMF itself provides modeling and code generation capabilities, extensions such as the Java Model Parser and Printer (JaMoPP) allow the translation of Java sou...
متن کاملSaying Hello World with MOLA - A Solution to the TTC 2011 Instructive Case
In this paper we describe the solution to Hello World case [6] for TTC 20111 contest, implemented in MOLA model transformation language. The core task and all optional extensions are implemented. The SHARE image of solution is also provided. [2] The ”Hello World” task can be implemented in MOLA in a very straightforward way. We describe in the paper the basic principles of the solution. Before ...
متن کاملSolving the TTC 2011 Reengineering Case with Edapt
1 Edapt in a Nutshell Edapt1 is a transformation tool tailored for the migration of models in response to metamodel adaptation. Edapt is an official Eclipse tool derived from the research prototype COPE. Modeling the Coupled Evolution. As depicted by Figure 1, Edapt specifies the metamodel adaptation as a sequence of operations in an explicit history model. The operations can be enriched with i...
متن کاملSolving the TTC Java Refactoring Case with FunnyQT
This paper describes the FunnyQT1 [1, 2] solution of the TTC 2015 Java Refactoring Case [3]. It solves all core and exception tasks with the exception of Extension 3: Detecting Refactoring Conflicts and has been elected as overall winner of the case. The solution project is available on Github2, and it is set up for easy reproduction on a SHARE image3. FunnyQT is a model querying and transforma...
متن کاملSolving the TTC Model Execution Case with FunnyQT
This paper describes the FunnyQT1 [1, 2] solution of the TTC 2015 Model Execution Case [3]. It implements the third variant of the case description, i.e., it implements the execution semantics of the complete UML Activity Diagram language. The solution project is available on Github2, and it is set up for easy reproduction on a SHARE image3. The solution has won the most correct solution award....
متن کامل